Abstraction of Elementary Hybrid Systems by Variable Transformation
نویسندگان
چکیده
ion of Elementary Hybrid Systems by Variable Transformation Jiang Liu Chongqing Key Lab. of Automated Reasoning and Cognition, CIGIT, CAS Chongqing, China [email protected] Hengjun Zhao Chongqing Key Lab. of Automated Reasoning and Cognition, CIGIT, CAS Chongqing, China [email protected] Naijun Zhan State Key Lab. of Computer Science Institute of Software, Chinese Academy of Sciences Beijing, China [email protected] Liang Zou State Key Lab. of Computer Science Institute of Software, Chinese Academy of Sciences Beijing, China [email protected]
منابع مشابه
Change-Of-Bases Abstractions for Non-Linear Systems
We present abstraction techniques that transform a given non-linear dynamical system into a linear system or an algebraic system described by polynomials of bounded degree, such that, invariant properties of the resulting abstraction can be used to infer invariants for the original system. The abstraction techniques rely on a change-of-basis transformation that associates each state variable of...
متن کاملLinear Constraints as a Modeling Language for Discrete Time Hybrid Systems
Model Based Design is particularly appealing in embedded software design where system level specifications are much easier to define than the control software behavior itself. Formal analysis of Embedded Systems requires modelling both continuous systems (typically, the plant) as well as discrete systems (the controller). This is typically done using Hybrid Systems. Mixed Integer Linear Program...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملSimulation of Singular Fourth- Order Partial Differential Equations Using the Fourier Transform Combined With Variational Iteration Method
In this paper, we present a comparative study between the modified variational iteration method (MVIM) and a hybrid of Fourier transform and variational iteration method (FTVIM). The study outlines the efficiencyand convergence of the two methods. The analysis is illustrated by investigating four singular partial differential equations with variable coefficients. The solution of singular partia...
متن کاملReconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting
The extension of timed formalisms to a hybrid setting with urgency, has been carried out in a rather straightforward manner, seemingly without difficulty. However, in this paper, we show that the combination of urgency with abstraction from continuous variables leads to undesired behavior. Abstraction from continuous variables ultimately leads to a timed system again, but with a much richer set...
متن کامل